<HTML><HEAD><TITLE>?SetVar1 `>= ?SetVar2</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(cardinal)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?SetVar1 `>= ?SetVar2</H1>
Set inclusion constraint
<DL>
<DT><EM>SetVar1</EM></DT>
<DD>A set variable.
</DD>
<DT><EM>SetVar2</EM></DT>
<DD>A variable.
</DD>
</DL>
<H2>Description</H2>
Constrain sets SetVar1 and SetVar2 so that SetVar1 contains SetVar2.<P>
		If SetVar2 is not yet a set domain variable it is declared as such, using
		SetVar1's lub.
<H3>Fail Conditions</H3>
Fails if SetVar1 can not contain SetVar2.
<H3>Resatisfiable</H3>
No.
<H2>Examples</H2>
<PRE>
?- [7,8,9] `&gt;= [7,9], [7,8,9] `&gt;= [7,8,9], [7,8,9] `&gt;= [], [7,8,9] `&gt;= [9].
yes

?- [1,7,9] `&gt;= [7,8].
no

?- X `:: [a]+[b,c,d], Y `:: []+[a,b,c,d,e,f], X `&gt;= Y, poss(Y,PY).
PY = [a,b,c,d]

?- X `:: [a]+[b,c,d], Y `:: []+[a,b,c,d,e,f], Y `&gt;= X, glb(Y,GY).
GY = [a]

?- X `:: [a]+[b,c,d,z]:CX, Y `:: []+[a,b,c,d,e,f]:CY, X `&gt;= Y, CX=2, fd:maxdomain(CY,MaxCY).
MaxCY = 2

?- X `:: [a]+[b,c,d,z]:CX, Y `:: []+[a,b,c,d,e,f]:CY, X `&gt;= Y, CY=3, fd:mindomain(CX,MinCX).
MinCX = 3.
</PRE>
<H2>See Also</H2>
<A HREF="../../lib_public/cardinal/BL-2.html">`< / 2</A>, <A HREF="../../lib_public/cardinal/BE-2.html">`= / 2</A>
</BODY></HTML>
